a bunch of commutation rules
prettier output