Grünbaum's conjecture. Every planar 3-connected graph GGG contains a 3-tree TTT whose co-tree ¬T∗\neg T^*¬T∗ is also a 3-tree.