Murphy, D. Molinism, Creature-Types, and the Nature of Counterfactual Implication. EJPR 2012, 4, 65-86.