For obvious decision theoretic reasons, a king is necessary. However, the king does not have to be a man.
For obvious decision theoretic reasons, a king is necessary. However, the king does not have to be a man.