Manuscript En07-B@1 · En07-B.tex · section · 45dff4a1
Release theorem and solution criterion
Release theorem and solution criterion · lines 1927–1933
Item (4) does not require a thermal machine when no thermal cost is claimed. It requires that a cost claim, if made, be attached to one. Item (6) is a scope condition, not a new mathematical nonexistence theorem.