A1.4 (b): Only one state needs color
A1.4 (c): Practically done.