0 -> T_1
T_1 -> 0
0 -> T_2
T_2 -> 0
0 -> G
0 -> G
G -> 0
0 -> I
0 -> I
I -> 0