Change the definition of infinitesimal wrt a function as x -> a to require that the difference be zero at x=a. previously there was no restriction on what the value at a was.