 Suppose we replace ‘is the same F as y’ in LLR with ‘is the same lump of clay’, ‘x’ with ‘the earlier statue’, ‘y’ with ‘the later clay lump’, and instantiate the quantifier ∀G with ‘is the same statue as the earlier statue’. We then obtain: