It may be wondered whether any really coherent theory the contrafactual conditional of ordinary usage is possible at all. The problem of contrafactual conditionals is in any case a perplexing one, and it belongs not to pure logic but to the theory of meaning or possibly the philosophy of science(mol23)