I did not fully describe Beene's argument. There are three postulates, not two:
1. The IMRA laboratory may have had a good opportunity to study helium, or they may not have. 2. They may have done such a study, or they may not have. 3. Assuming 1 and 2 are true, the study might be positive, or it might be negative. We have no evidence for or against any of these, but regardless of the truth value, together they prove: Miles was mistaken. Any combination proves Miles was mistaken, even 'true, false, false' or 'false, false, false.' It is a powerful argument! - Jed