Leibnizian argument