Text this: First order categorical logic /