 Q preserves the classical assumption that all names denote something: for any term \(\tau\) other than the variable \(\nu,\) \(\exists \nu\,\nu =\tau\) is a theorem; in the special case where \(\nu\) is \(\sfy\) and \(\tau\) is \(\sfa\):