Snark
Appearance
No one has seen a snark and lived to tell the tale.
In graph theory, a snark is a graph in which each vertex has three edges, but it is impossible to color the edges with only three colors so that edges of the same color don't meet at one vertex. A boojum is a planar snark. See Four-Color Theorem.