p gibi olmakta olana ilişkin bir önermeden, hepolmuşa ilişkin Hom p(p, hepolmuştur) önermesini oluşturan doğrusal olmayan birli eklem. H Hom p önermesinin şimdiki (…) tamdurumunda doğru olması, p önermesinin (…) olmuşlu almaşığı olan (…) gibi her tamdurumda doğru olması demektir, hepolmuş yöneticisinin ikillisi olmuş yöneticisidir: (…)