Uncommented the inclusion of main.labels
Logical equivalence between torus and product of circles
Added solutions to exercises 6.1 and 6.3
Merge remote-tracking branch 'upstream/master'