> No thank you I'd rather not adopt a system within which calculus > doesn't really work (it appears that the intuitionist version of > standard reals may not even allow a working version of algebra). [[constructivist analysis]] HTH Dan