Fix indentation
Ex 3.7
Import SF files and start over
Complete the Basics chapter
Start exercises from the Induction chapter