Hello Don, > I agree with Walter's statement that ALL of the components are > unreliable, and I think it's important to realize that proofs are the > same. > That's where automatic proof checkers come in... -- ... <IXOYE><