preassume

not defined yet