  We challenge the statement that the principle of Thomson and the principle of
Clausius are equivalent. A logical mistake in the supposed textbook proof of
their equivalency is indicated. On this account we refine the heat-engine
axiomatics. We consider the energy exchange in the configuration comprised of
two heat reservoirs and one mechanical device and show explicitly the domains
banned by the laws of thermodynamics.
