Added Davidoff's 7.2.1 solution