let min t t' = if t <= t' then t else t'