Comment by dejj

It’s neat. I wonder if someone attempted detecting a graph coloring problem to replace it with a constant.