Add leibniz.py