Disable some warnings, and start IndProp chapter
Finish logic chapter
Progress on logic
You can also use your local clone with git send-email.