added  replace forall method