[_jcrossley]

Neat! It feels like bridging the gap between infinitesimals intuition and epsilon-delta formalism. I wonder whether this approach could make a 1st course more rigorous, and whether that would be a good thing.