informalities

not defined yet