formalisation

not defined yet