logic

The formal logical representation of the statement.