You remember that chap who looked a bit like me in Andrew Dancer's differential geometry and exterior algebra course? That was me :-) And it's for precisely that reason that I said "the conventional underpinnings of calculus" - I'm well aware that you can be more sophisticated and give "dx" real meaning, but the semi-naive version of analysis taught to first-years doesn't have this property. Sorry if that wasn't clear.