let
abs_diff t1 t2 =
Span
.abs (diff t1 t2)