Li-Fan Chen
says to
YSITD
（((P→Q)→P)→P） 這個