Leko
says to
YSITD
max(a,b,r) ?