actually, we consider awhen useful.
The macro `until-t' is useful in probabilistic algorithms