The term “equals” is such a horrible mess in programming languages. New languages should forbid that term and use “equivalent” and “identical” instead.