From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: **
X-Spam-Status: No, score=2.1 required=5.0 tests=BAYES_20,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b4a4eebc3fbdb981,start
X-Google-Attributes: gid103376,public
From: Tom Moran <tmoran@bix.com>
Subject: Re: Use of constants on EFA
Date: 1997/11/10
Message-ID: <34673AB4.7D88@bix.com>#1/1
X-Deja-AN: 288343365
Organization: InterNex Information Services 1-800-595-3333
Reply-To: TMoran@bix.com
Newsgroups: comp.lang.ada
Date: 1997-11-10T00:00:00+00:00
List-Id: <comp.lang.ada>


>5.4.2.1 Constants
>Objects shall be defined as being constant if their value is fixed
>throughout the execution of the software.
  "If (fixed) then (constant)" does not imply "If not(fixed) then
not(constant)" as any book on logic will tell any reader of that rule.
Perhaps some non-programmer doesn't know the difference between "if"
and "only if"?