Before revision:  The payment rules are then pinned down up to a constant in terms of the allocation rule by deriving a first-order condition.
After revision:  The payment rules are then pinned down in terms of the allocation rule by deriving a first-order condition.