Abstract: Thomson's formulation of the second law states: no work can be extracted from an equilibrium system through a cyclic process. A simple, general proof is presented for the case of macroscopic sources of work. Next the setup is generalized towards situations, where the corresponding work-source is not macroscopic. It is shown that using such a source one can extract energy from an equilibrium system by means of a cyclic process. However, this extraction is accompanied by an entropy increase of the source, in a manner resembling the Clausius inequality.