Description: The predicate-calculus version of the axiom (B) of modal logic. See also modal-b . (Contributed by BJ, 20-Oct-2019)