Harsanyi's type space construction assumes common knowledge of the prior, but this assumption is not...