Work Product of an Ideal TC