formalising

not defined yet