Text this: First-Order Logic /