Loading Open Internet
    Aumann’s agreement theorem is kind of weird