Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site csd1.UUCP
Path: utzoo!linus!security!genrad!decvax!harpo!floyd!cmcl2!csd1!condict
From: condict@csd1.UUCP (Michael Condict)
Newsgroups: net.movies
Subject: Re: The Star-Spangled Banner
Message-ID: <139@csd1.UUCP>
Date: Wed, 7-Dec-83 12:26:13 EST
Article-I.D.: csd1.139
Posted: Wed Dec  7 12:26:13 1983
Date-Received: Fri, 9-Dec-83 07:40:08 EST
References: <160@princeton.UUCP>
Organization: New York University
Lines: 12

Pithy sayings from "very wise men" (specifically: "If nothing is worth
dying for then nothing is worth living for") are fun to read, but could
you please show me the proof of:

  FOR_ALL x (Value(x) < Value(Staying_Alive))  implies
    FOR_ALL x (Value(Staying_Alive) < Value(x))

Just mail it to me, with copies to Tarski, Quine, D. Scott and the J. of
Symbolic Logic.  (Why bore the net?)

M. Condict
New York U.