add the my tries and answer for bool/sigma rules
update notes after 3rd class
Merge branch '2014' of github.com:AndriyLin/pi-forall into 2014