Aumann agreement is already there, it's a fact of a certain situation, not a procedure for getting to an agreement, unlike the practice of forming a common understanding Luke talked about. My comment was basically a pun on your use of the word "procedure".