first commit Hoare