fix forall function