superassume

not defined yet