informal

not defined yet