Archived tweet #7503 from the @leastfixedpoint Twitter Archive

@cputney But IIUC data can be encoded in an equivalence-preserving way into more data; behaviour can't. Beh equivs are not syntactic.