REALLY fun exercise. Thanks for adding in the description of your rules notation on the project page. I think the only point of confusion for me was not knowing how large the color state alphabet was at the beginning of each level, took me a little while to realize I had access to green. The last level was a very satisfying solve :)