(n.) Same as Auto-da-fe.