+ one more helper function (at_valid).