> * They don't factor out an expression into a separate variable.

* They implicitly enable people to write deeply nested code that lacks such factoring, without feeling like anything has gone wrong.