Forall function working