notes from sols
Exercise 4.47 - a surprisingly unseductive broken example from Louis Reasoner