introduced difl, a new function for implementing differentials.