We characterize the boundaries of the set of transfers implementing a given allocation rule without imposing any assumptions on the agent's type space or utility function besides quasi-linearity. In particular, we characterize the pointwise largest and the pointwise smallest transfer that...