Tutorial formalism

{{to be finished}}