On Apr 27, 2021, at 7:37 AM, Peter Levart <[email protected]<mailto:[email protected]>> wrote:
And neither is that. I had to look back at the specification. Ephemeron refers to a pair of referents, but they are not equivalent. The reachability of the 1st referent governs the reachability of the 2nd. Sorry for these inappropriate comments. I’m glad you l0oked it up! Perhaps there is a logical implication connective in that third definition.
