In this paper I study the possibility of full surplus extraction on arbitrary type spaces, with three main results: (i) I characterize full surplus extraction, (ii) I characterize full surplus extraction assuming that the surplus-extracting allocation is implementable, and (iii) I show that...