> "Are these two things equivalent?" has an unambiguous answer regardless of whether the things are of different types. Absolutely not; that's basically the OG

> "Are these two things equivalent?" has an unambiguous answer regardless of whether the things are of different types. Absolutely not; that's basically the OG subjective question whose lack of an obvious right answer underpins a substantial quantity of the bugs in less strongly-typed languages. Nor is an unambiguous answer possible symbolically, or in common logic, or the semantics of spoken languages.