James58899 says to YSITD
forall是什麼,我可以當成for看嗎