Hoare2 first commit