Comment by smallnamespace

Step 9 doesn't work because it introduces a third person, and so fails to demonstrate S(2)