overassumption

not defined yet