Lesexercise.

We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).

past-me, annoying now-me and future-me