public static <T extends DC> Equality getPhiEqu(Set<Pair<Pair<T,PT<Integer>>,Pair<T,PT<Integer>>>> done)
  { if(done!=null)
    { if(done.getNext()!=null)
      { return new Equality(done.getFst().fst().fst().delta(done.getFst().snd().fst()).equa().getValue()&&getPhiEqu(done.getNext()).getValue());
      }
      else
      { return new Equality(done.getFst().fst().fst().delta(done.getFst().snd().fst()).equa().getValue());
      }  
    }
    else
    { return new Equality(false);
    }  
  }