Evaluated proc wlog {who {n 1000}} {}