Added Hoare; added first version of code

The code doesn't work for now, will fix asserts tomorrow morning.
Possibly each have to be put as a single statement.