Corner color for iff, memory for if

Colors in pairs, all yellow are the same and all red are opposite, and so on (all blues the same blue-all orange opposite, etc.)

I only add the color if it encodes completely one or more rule so I can dim them.