presupposes

not defined yet