Wheaton's Rule view 2