Li-Fan Chen says to YSITD
我剛剛已經重新申明命題ㄌ