Start experimenting with data types for first-order logic.