updated leibniz.py

removed unused variable
misc. stuff...