On page 27 of the notes he gives an apparently incorrect rule for CASE
statements. The hint he gives to prove the rule incorrect doesn't seem
to help, as you simply get a load of {F}C_i{Q} on the top row of the
rule and so cannot derive the bottom row so there doesn't seem to be a
problem...? Anyone know what he's driving at?
Cheers,
Jamie