Removing unneeded explicit forall.