relational logic
definitions
formalisation
missing parenthesis