 However, while (5) is true, (5′) is false, since at no time in the past there have been two kings named Charles simultaneously. (See Lewis 2004.) Thus, the standard tense operator strategy seems to fail in cases like this one.