Before revision:  The axiomatization relies on weakening the axioms that characterize FB and ML. In particular, the axiom that characterizes ML is identified  in this paper, fixing an existing problem in the literature.
After revision:  The axiomatization relies on weakening the axioms that characterize FB and ML. The axiom characterizing ML is identified in this paper, fixing an existing problem in the literature.