Author: Myer S. Kripke