involution
not defined yet