leibnizian