[rayiner]

I don't think that's a fair characterization at all. This isn't just a wordier way to say the same thing. It's a much more declarative way of expressing what code should do.

The global invariant example is a good one. That's not just expressing the same thing less tersely.