By Reynolds. See ProtectionInProgrammingLanguages