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