Wanted

These notes are waiting for explicit assumptions and a precise question. If you have one, say so in the note's discussion; the owner can add you to the project, and your part is credited.

No public notes at the stage “Vague questions / ideas” yet.