Add the Hoare version