Archived tweet #3382 from the @leastfixedpoint Twitter Archive

@jdanbrown @asumu Right, I wondered about that when I saw (1+[]). Curious to imagine the dynamics of coterms. Can't quite get a grip on it.