  Friederike Moltmann (2003) dubs this problem the Substitution Problem. (See also Vendler 1967, Prior 1971, Parsons 1993, Bach 1997, McKinsey 1999, Recanati 2000, King 2002, Moffett 2003, Harman 2003.)