An alternative defended by the sixteenth-century Jesuit, Luis de Molina, is to deny (5), the principle that accidental necessity is closed under entailment of contingent propositions (Freddoso 1988: 58). Of the assumptions required for the argument, however, (5) has seemed to many to be the least controversial, at least if we really do grasp the modality of accidental necessity. For a simple argument against (5), see (Wierenga 2016:102).