Completed the first Hoare module.
Started the second module.