Add a counter-example in the README where reduction isn't commutative.

Add a counter-example in the README where reduction isn't commutative. #177