Leibnizian type equality