formulisation

not defined yet