formalities

not defined yet