isCompleteTo d (T E _ E) 
  | d == 0             = True
  | otherwise          = False
isCompleteTo d (T E _ E) 
  | d == 0             = True
  | otherwise          = False
isCompleteTo d (T E _ E) 
  | d == 0             = True
  | otherwise          = False