I have just got my company to pay up for the studies with only one month to go to complete four assignments for four heavier modules part time! I have looked at the problems on page 19. Does anybody have any example of how to layout these proofs and the formal proofs themselves? I can do the things intuitively but there must be a more mathematical approach.