Text this: First-Order Predicate Logic.