let
qual_dcare t1 t2 =
true