I'm not anywhere near Ex 6.20. I'm stuck on some of the earlier stuff. I can quite clearly determine if the conlcusion of a problem is a consequence of the premises or not, and quite easily provide an informal proof - but translating this into Fitch is proving to be more frustrating than I care to mention.