Agile rituals are great, but without tracking constraints and dependencies live, your transformation will stall.

The condition of nonpositivity, almost everywhere, of the upper right-hand Dini derivative of a (simply) continuous function is not a sufficient condition for such function to be nonincreasing. That ...