For treewidth 3$3$, there are four forbidden minors: K5, the graph of the octahedron, the pentagonal prism graph, and the Wagner graph.
This implies that the Wagner graph should have tree-width at least 4 $4$ (since it is a minor of itself).
A graph has a bramble of order k if and only if it has treewidth at least k − 1$k − 1$. So the Wagner graph should have a bramble of order 5$5$.
However, I am struggling to construct such a bramble, nor can I find a paper that provides it to my satisfaction. Could someone please draw me a picture, or even provide a textual representation of a bramble with its corresponding hitting set for the Wagner graph? Or else, explain if I've made a mistake in my understanding?