Archived tweet #4771 from the @leastfixedpoint Twitter Archive

@graydon2 (Aside: Maude got me almost all the way, but I'm reimplementing in redex to get to where I need to go. Hope it works out...)