Finish introduction.
Fix deterministic algorithms part.
Fix ssc proof.
Fix state parameterization.
Complete notation table.
Fix introduction.
Fix introduction/
Start fixing chapter 1.
Compile only chapter 1.