Delete pi_leibniz