[vaillant]

I was skeptical until I saw the applications, especially representing groups. Not entirely sure how distinct these ideas are from studying power sets or how to really think about what "color" means here.

It's a pretty cool abstraction. No idea how to use it but worth thinking about.

[mcphage]

It was interesting that you can represent groups, but what can you do with that representation? And the exponential growth in the number of states seems to make them unwieldy to work with.