a0672e82c723a7d2535a3deb12294b96bee05198Michael Chanspec Ot = Energy_Dissipation
a0672e82c723a7d2535a3deb12294b96bee05198Michael Chanthen %implies
a0672e82c723a7d2535a3deb12294b96bee05198Michael Chan forall h:H2O; f:Process
a0672e82c723a7d2535a3deb12294b96bee05198Michael Chan . Heat(h, Start(f)) > Heat(h, End(f)) %(prediction)%
a0672e82c723a7d2535a3deb12294b96bee05198Michael Chan%view v : Os to Ot