a7a26b9abe3394e3a448798c54d40083e291b9d1Christian Maederlibrary GALILEO/Heat

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 Chanend

a0672e82c723a7d2535a3deb12294b96bee05198Michael Chan

a0672e82c723a7d2535a3deb12294b96bee05198Michael Chan%view v : Os to Ot