 The second concern is that it abandons S5-type modal logic, in which anything that is necessary is necessarily necessary. This is thought by many to be the appropriate system of modal logic to describe the way actual modality  is.[9]  So there are concerns from both sides for this reply to the objection to voluntarism. On the one hand, it might be thought not to take divine power seriously enough. On the other, it might not make abstracta “necessary enough”.