Figure 1: A decision tree for coloring three states with two colors