けんき says to YSITD
大顆的是命題