sensHtEEqn :: PhaseChange -> Relation
sensHtEEqn pChange = sy sensHeat $= case pChange of
  Liquid -> liquidFormula
  AllPhases -> incompleteCase [(sy htCapS * sy mass * sy deltaT,
      sy temp $< sy meltPt), (liquidFormula, sy meltPt $< sy temp $<
      sy boilPt), (sy htCapV * sy mass *
      sy deltaT, sy boilPt $< sy temp)]
  where
    liquidFormula = sy htCapL * sy mass * sy deltaT

--When to call with C? When to call with U, S, Sy, etc? Sometimes confusing.

--Figured out why so many were defn and others were term. The unitals
-- were implemented incorrectly.
sensHtEEqn :: PhaseChange -> Relation
sensHtEEqn pChange = sy sensHeat $= case pChange of
  Liquid -> liquidFormula
  AllPhases -> incompleteCase [(sy htCapS * sy mass * sy deltaT,
      sy temp $< sy meltPt), (liquidFormula, sy meltPt $< sy temp $<
      sy boilPt), (sy htCapV * sy mass *
      sy deltaT, sy boilPt $< sy temp)]
  where
    liquidFormula = sy htCapL * sy mass * sy deltaT

--When to call with C? When to call with U, S, Sy, etc? Sometimes confusing.

--Figured out why so many were defn and others were term. The unitals
-- were implemented incorrectly.
sensHtEEqn pChange = sy sensHeat $= case pChange of
  Liquid -> liquidFormula
  AllPhases -> incompleteCase [(sy htCapS * sy mass * sy deltaT,
      sy temp $< sy meltPt), (liquidFormula, sy meltPt $< sy temp $<
      sy boilPt), (sy htCapV * sy mass *
      sy deltaT, sy boilPt $< sy temp)]
  where
    liquidFormula = sy htCapL * sy mass * sy deltaT

--When to call with C? When to call with U, S, Sy, etc? Sometimes confusing.

--Figured out why so many were defn and others were term. The unitals
-- were implemented incorrectly.