Archived tweet #8195 from the @leastfixedpoint Twitter Archive

@coreload Yes it's fascinating. The == thing is demanded by theory, and unavoidable one way or another, though it can be deeply hidden.