 Classical predicate logic presumes not only that all singular terms refer to members of the quantificational domain \(\bD\), but also that \(\bD\) is nonempty. Free logic rejects the first of these presumptions. Inclusive logic (sometimes also called empty or universally free logic) rejects them both. Thus while inclusive logic for a language containing singular terms must be free, free logics need not be inclusive.