Hoare again