nwtnCoolingNotes :: [Sentence]
nwtnCoolingNotes = map foldlSent [
  [atStart lawConvCooling +:+. S "describes convective cooling from a surface" +:
   S "The law is stated as", S "the", phrase rate `sOf` S "heat loss from a body" `sIs`
   S "proportional to the difference in", plural temp, S "between the body and its surroundings"],
  [ch htTransCoeff, S "is assumed to be independent" `sOf` ch temp,
   sParen (S "from" +:+ makeRef2S assumpHTCC)],
  [E (apply1 deltaT time $= apply1 temp time - apply1 tempEnv time) `isThe`
   S "time-dependant thermal gradient between the environment and the object"]]
nwtnCoolingNotes :: [Sentence]
nwtnCoolingNotes = map foldlSent [
  [atStart lawConvCooling +:+. S "describes convective cooling from a surface" +:
   S "The law is stated as", S "the", phrase rate `sOf` S "heat loss from a body" `sIs`
   S "proportional to the difference in", plural temp, S "between the body and its surroundings"],
  [ch htTransCoeff, S "is assumed to be independent" `sOf` ch temp,
   sParen (S "from" +:+ makeRef2S assumpHTCC)],
  [E (apply1 deltaT time $= apply1 temp time - apply1 tempEnv time) `isThe`
   S "time-dependant thermal gradient between the environment and the object"]]
nwtnCoolingNotes = map foldlSent [
  [atStart lawConvCooling +:+. S "describes convective cooling from a surface" +:
   S "The law is stated as", S "the", phrase rate `sOf` S "heat loss from a body" `sIs`
   S "proportional to the difference in", plural temp, S "between the body and its surroundings"],
  [ch htTransCoeff, S "is assumed to be independent" `sOf` ch temp,
   sParen (S "from" +:+ makeRef2S assumpHTCC)],
  [E (apply1 deltaT time $= apply1 temp time - apply1 tempEnv time) `isThe`
   S "time-dependant thermal gradient between the environment and the object"]]