 but that (18) is not equivalent to (21), because—so the argument goes—(18) but not (21) would be true if Daniel had memorized his list of true propositions without realizing that they were true. Similar differences can be argued to apply, mutatis mutandis, to (19) and (20). Can the identity theorist deal with this difficulty?