Li-Fan Chen says to YSITD
還是只包含有限個