p.s.: If Harvey was earlier being, as was said, "anti-Cartesian" about identity among values, then I guess I'm being "anti-Hilbertian" about the definition of Scheme. -t