From: Greg Colvin (gcolvin_at_[hidden])
Date: 2000-07-31 22:10:54
From: Beman Dawes <beman_at_[hidden]>
>
> Basically, I think we ought to settle the name issue, formally review this,
> and start using it.
Alice in Wonderland aside, I agree. I retract my fondness for
"postulate" in favor of "assert" with whatever prefix ("meta is
fine by me, "ct" is not) we choose for whatever_if, whatever_for,
and so on.