Above, I've drawn a knotted 3-valent graph. I suspect that it's not isotopic to the "unknotted" version below, but I'm not sure. Is it?
I know about fundamental groups of knot complements, but it seems like that's probably more work than necessary. The easiest way would be to show that it's the companion of some simple knot, but I haven't been able to get that to work.
Is this knotted (by which I mean, is that not-equals sign in the drawing correct), and if so, is there a good way to prove that?
