Before revision:  Given the optimality of the stopping rule, a sufficient condition for  incentive compatibility is obtained by constructing the state-dependent payment rules in terms of a set of functions parameterized by the allocation rule.
After revision:  Given the optimality of the stopping rule, a sufficient condition for incentive compatibility is obtained by constructing the payment rules in terms of a set of functions parameterized by the allocation rule.