Q8.2a

This one is like Q8.1a but with a twist at the end. (If needed, show rules.)

Show that '(^z)Cz' can be derived on line 6.