the original arg was flawless: we need code to be well annotated, we need easily READABLE INTENT of code. the proposed notation signals: this variable at this point is EXPECTED TO BE UNBOUND we give this priceless info to the user and to the compiler