Logical formalism
{{to be finished}}