 First, regard f as primitive and replace Mally’s definition of f in terms of → and ! (Def. f, the very first specifically deontic postulate in Mally’s book) by the following definition of ! in terms of V and f :