presupposing

not defined yet