Further imagine that \(p(H\mid X) = p(H) = 1/2\). No other relationships between the propositions hold except those required by logic and probability theory. It is straightforward to verify that the above constraints require that \(p(Y) = 1/2\). The probability for \(X\), however, is unconstrained.