preassumption

not defined yet