4.18 Exercise 4.18

TODO: Why wouldn’t the definition work in both?