Finished showing commutation relations