let
intersects _t1 _t2 =
assert
false