There was a short thread on Arbitration Appeal here before I accidentally deleted it. It had been fully answered but then Arahn followed up with a question “Which lecture is this in, Mike?”
My response was that. in my recollection, it didn’t appear in any lecture. My original response was that I dredged up the answer to Abraham’s question from the depths of my memory (with some recent help from the internet)