  Now we will engage in some semiformal reasoning, on the basis of hypothesis h0. Among the four sentences, A, B, C and X, h0 puts only B in the extension of T. Thus, reasoning from h0, we conclude that