First-Order Logic by