@cathos @neauoire i think the implication is that they took this opportunity to write a paper about right-reducing combinators?