Text this: First order categorical logic :