Tutorial formalism
{{to be finished}}