Assertion list
heat (primary) → DefinedAs

Results from Ascent++: 1
heatDefinedAs energy 0.38