Leko says to YSITD
a <= phi && b <= phi && r <= phi
at Wed, Aug 21, 2019 4:49 PM