If we are happy that ???a is F??? may not be true in the case that ???a??? has a sense but not a reference, and assuming that (in this system) we can say that this is so, i.e. state that a does not exist, then we can state the disjunction ???a does not exist or a exists but is non-F???.