We develop a procedure for implementing an efficient and envy-free allocation of m objects among n individuals with the possibility of monetary side-payments. The procedure eliminates envy by compensating envious players. It is fully descriptive and says explicitly which compensations should be...