Fagin's Theorem

From dankwiki