Harsanyi's construction imposes the prior as an external constraint; it is not logically entailed by...
This proposition has not been edited since the history system was added.