removed unneeded forall r.