trivialities

not defined yet