17736N/Aspec Ot = Energy_Dissipation

17736N/Athen %implies

10017N/A forall h:H2O; f:Process

17736N/A . Heat(h, Start(f)) > Heat(h, End(f)) %(prediction)%

10017N/Aend

10017N/A

10017N/A%view v : Os to Ot

10017N/A