presumes

not defined yet