Vincent Yang says to YSITD 參考一下什麼是自由變數 https://en.m.wikipedia.org/wiki/Free_variables_and_bound_variables