auxiliaries

not defined yet