Furthermore, this comment is a little confusing, and perhaps wrong. For instance, if you want to represent that two boolean expressions are equal, you should use `Equivalent`, not `Equality`.