It is easy to see that any graph that looks like the one in the picture above can be vertex-colored by two colors. In this lightning talk, we’ll explore the question of: does this still hold when you only have Borel crayons? Also how many extra Borel crayons do you really need compared to regular-old axiom-of-choice crayons to color a graph?