Meaningless Differentiation Revisited