Feferman 2:42Pm 3/10/98 writes: >It's easier to think in classical logic than in more restrictive logics >(and thank god no one is asking us to actually think in linear logic),... This is an important point. But is *no one* really true, Vaughn?