Today I learned ...

[bpr]

Today I learned how A & !A can evaluate to TRUE (note that while I have written this expression programatically, the implementation does not necessarily have to be).