Aumann’s Agreement Theorem (AAT)