 Thirdly, it can be objected that the argument does not really move far beyond two of its three crucial assumptions—the assumptions set out, namely, at steps (5) and (11), to the effect that \(\Pr(HI) \ge \Pr(T)\), and \(HI\) entails \(\negt T\).  For given those assumptions, it follows immediately that \(\Pr(T) \le 0.5\), and so the rest of the argument merely moves from that conclusion to the conclusion that \(\Pr(T) \lt 0.5\).