differential merging works in the one test case, as does leibniz propagation. :)