redundant redundancies

But we normally take it for granted that anything that is boiling is hot. If we witness something like nitrogen boiling, we're more likely to use another term like "evaporating" or "turning into gas".

- Kef