superinvolution
not defined yet