formalise

not defined yet