superassumption

not defined yet