Add formalizations of Hajek's three emendations