diff --git a/algorithm/decremental_tc.h b/algorithm/decremental_tc.h
index 5380c26..8de4906 100644
--- a/algorithm/decremental_tc.h
+++ b/algorithm/decremental_tc.h
@@ -23,31 +23,38 @@ public:
 
   void remove(const T& u, const T& v);
 private:
-  // Every vertex u has a pointer C(u) to the component containing it
-  std::map<T, T> vc;
+  Digraph<T> G;
 
-  // For every component C, the algorithm maintains three linked lists
-  // Ein(C), Eout(C), and Eint(C) of the incoming, outgoing, and the internal
-  // edges of the component C
-  std::forward_list<T> Ein;
-  std::forward_list<T> Eout;
-  std::forward_list<T> Eint;
+  // Every vertex u has a pointer C(u) to the component containing it
+  std::map<T, SCC<T>> C;
+
+  // The aggregation of edges each component contains
+  struct LLE {
+    std::forward_list<T> Ein;
+    std::forward_list<T> Eout;
+    std::forward_list<T> Eint;
+  };
+
+  std::map<SCC<T>, LLE> E;
+
+  // Connect each component with a tree of all reachable components
+  std::map<SCC<T>, std::set<SCC<T>>> TC;
 };
 
 
 template<typename T>
-inline void DecrementalTC<T>::init() {
+void DecrementalTC<T>::init() {
 
 }
 
 template<typename T>
-inline bool DecrementalTC<T>::query(const T& u, const T& v) {
+bool DecrementalTC<T>::query(const T& u, const T& v) {
 
   return false;
 }
 
 template<typename T>
-inline void DecrementalTC<T>::remove(const T& u, const T& v) {
+void DecrementalTC<T>::remove(const T& u, const T& v) {
 
 }