presupposed

not defined yet