Fix commutativity.
Wrong variable.
Fix projectivity.
Duplicate template.