**********************,=,e ＼＿ヾ(ᐖ◞ ) ID: 1357d7 May 12, 2018, 7:16 p.m. No.1390913 🗄️.is 🔗kun https://en.m.wikipedia.org/wiki/Modus_ponens I found P in a wiki article