> Don’t Mention Equality

I suspect the subtleties of equality are why mathematicians are happy with classical logic, informaticians prefer constructive logic, and engineers seek to make things data-driven where possible.