formalisation

June 2022