Heh, in programming the Leibniz rule is sometimes (often?) not true. x == y does not necessarily mean that, for example, &x == &y.