let var a:=1 var b:=1 var c:=2 in if (a>b) then ( if (a>c) then a else c) else (if(b>c) then b else c) end