let
max t t' =
if
t >= t'
then
t
else
t'