Added stub for the state chapters exercises
WIP: exercise 11
Finished off exercise 11
minor proof stuff