more leibniz rule work. long way to go still, but it's time for dinner.
successfully computed a leibniz inference. :)