First-Order Theory