Reduction example for 4.11