Title: Fragments of First-Order Logic