procommutation

not defined yet