 which says that there could be something that is distinct from everything (including, in particular, itself) and that, of course, is logically impossible. Hence, CB is logically false in SQML and so it is a logical truth of SQML that there are no contingent beings, i.e., that, rather, everything is necessarily identical with something: