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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,55ad689dc8c82d8c
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada policy enforcement
Date: 1996/03/22
Message-ID: <dewar.827528183@schonberg>#1/1
X-Deja-AN: 143798263
references: <31515445.28DB@lfwc.lockheed.com> <4ism6v$dfr@ra.nrl.navy.mil>
 <3152E235.16F4@escmail.orl.mmc.com>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-03-22T00:00:00+00:00
List-Id: <comp.lang.ada>

> If Ada were *manifestly* better then there would be no need to enforce it.
> Enforcment is the last refuge of the terminaly confused and soon to be
> extinct. (Contract specification is a different matter, and yes you
> can spank me for the unattributed misquote.)

Sorta' like seatbelts?

Or could one say "If having everyone drive on the same side of the raod
is manifestly better then having people drive on which ever side they
please, then there would be no need to enforce the rule about driving
on the right!"