It's a lot like putting an assert() in your code. assert(m&m != brown);