@dgleich.bsky.social Have a paper with any theorems that’d be a useful check?