Archived tweet #1170 from the @leastfixedpoint Twitter Archive

@monadic erm. A match between query & name leads to reductn/communicatn, a la comm rule in π when names equal. Unless I misunderstand you!