YSITD_Chat_Bot says to #ysitd
<lekous>: a <= phi && b <= phi && r <= phi
at Wed, Aug 21, 2019 4:49 PM