  For an account like Hofweber’s to succeed, it must be possible for attitude- and truth-ascriptions to be true even if that-clauses do not designate. For if they designate, then the domain-conditions reading of ‘there is something S believes’ would be true. 