First-order logic.