Common knowledge of the prior requires agreement on beliefs about beliefs across all possible types,...
This proposition has not been edited since the history system was added.