Comment by augustk

Postconditions are in conflict with programmers' love of early returns.