involutorial

not defined yet