shminux comments on Scott Aaronson: Common knowledge and Aumann’s agreement theorem