In the 1960s Ralph Fox introduced a tool of knot theory called colorability. Briefly, a knot is n-colorable if the diagram for that knot can be decorated with numbers 1, 2, . . . , n subject to a simple constraint at each ...