This is the simplest (or zero-order) logic we have.