 Many of Mally’s surprising theorems are derivable in KD, but they have, as it were, lost their sting: those theorems lead to surprising consequences when combined with Mally’s Axiom I and his definition of f , but they are completely harmless without these postulates.