Finished Hoare2