Seol mar théacs é seo: Eternal punishment, universal salvation and pragmatic theology in Leibniz