Shorten lines.
Round runtime numbers.
Slight elaboration on name binding conclusion.
More text for fusion algebra.