 Mally could hardly have objected to this version of Axiom IV because it is equivalent with his theorem (23′), i.e., V f U, in virtue of Def. f. In the following “Axiom IV” will always refer to our version of Axiom IV rather than Mally’s. 