Archived tweet #9676 from the @leastfixedpoint Twitter Archive

@mjambon I wonder if they don't all ultimately boil down to something like what I proposed, though: some kind of an equivalence.