 Currie also raises the objection that Levinson’s account does not individuate works adequately; this objection has been further pursued by David Davies (2004), and by Matheson and Caplan (2007). Lamarque (2010) contends that there is an indeterminacy as to which tokens are of a given indicated type.