La formulación original de Putnam fue: