let qual_dcare t1 t2 = 
  true