add leibniz, add nilakantha