Although ‘Rxx’ and ‘Rxy’ are both applications of a two-place predicate to a pair of terms, ‘Rxx’ resembles a one-place predicate in that all one needs to evaluate it is an assignment to ‘x’. A similar point applies to the sequences ‘Fx’, ‘Gx’ and ‘Fx’, ‘Gy’ – even though neither is a one-place predicate. Kit Fine’s semantic relationalism aims to extract a common idea uniting these comparisons, and to use it to provide a Millian solution to Frege’s Puzzle. (1a) and (1b), are said to be cognitively different in that uses of them “can convey different information to someone who understands both sentences.” (34) 1a. Cicero is Cicero b. Cicero is Tully...