Es controversial si Kripke estaba haciendo eco del trabajo temprano de Ruth Barcan Marcus en estas dos ideas.