La formulación original, es: