Leko says to YSITD
<= phi