Automata

I haven’t had much time to work on GRAY MATTER. I’ve been working on this instead:

I’ve also codified what I humbly call Raj’s Law. For two sets, A and B:

A – B = A ∧ A ∧ B

I’ll get back to GRAY MATTER soon.