[eterps]

I think the explanation in https://www.oilshell.org/blog/2022/02/diagrams.html is also related to this.