Ex 7 of Chapter 7(free theorems) done
Upto Chapter 7.4.3(bug in fork) done