An alternative ending to "Pleasant extensions retaining algebraic structure'' - Tim Austin (2009)