supervexation

not defined yet