docs
$r:=0$;
for ($i = m..n$) {
if ($\text{pred}(i)$) {
r := r + 1;
}
}

r:=0r:=0

i=m..ni = m..n

pred(i)\text{pred}(i)

True

False

r := r + 1

-