YSITD_TG_Bot5
says to
#ysitd
<koru1130>: x -> (p->q) 我能理解