Adde new version of hoare