Ah, nice find. I didn’t feel like continuing with re-simplification after already spending quite some time on this.