introsume

not defined yet