Tag: trivial commutation rules explained