(n-of(= r 2000)(= r(+ /.r 1)))(pr:num r 499)