None

ref:none

null quantifier (¬∃): the predicate holds for no member of the domain