Note in documents that we are using non-evil equality