Gerenuk on Nostr: Hmm. 1) seems to indicate that I have the same construction, but I believe it's not ...

Hmm. 1) seems to indicate that I have the same construction, but I believe it's not alternative (in any way; except for the one equation I mentioned). Please let me know if you can confirm. But I had the impression that John Carlos Baez (npub1nf4…nqe4) wrote it should be alternative?!