Removed unnecessary forall