Tsundere Chen
says to
YSITD
@koru1130 你有玩過 CPROVER 嗎？