forall.py 11.8 KB