Author: Saul A. Kripke