I suspect there are arguments and counterarguments I have missed, although
most discussions I've seen fall into the category of PbBA (Proof by Bold
Assertion) which I don't find helpful.
3) I'd be interested to hear briefly: What text are you using, and how
does it handle this issue?