First, we consider a case in which there is a discourse antecedent of sorts: In this way, we prove that the referring expression makes sense, i.e., denotes.
unlike in the previous cases, we do not dereference to a familiar referent.