hyperinvolution

not defined yet