 Grosseteste’s response to such arguments is to grant that they in fact are sound and do indeed prove the necessity of true propositions about future acts.  But he challenges the further conclusion drawn from them that if a proposition about a future act is necessary in the sense proved by such arguments, the act cannot really be a free act. Instead, Grosseteste takes the kind of necessity involved in such arguments to be compatible with freedom. His strategy is to hold that the freedom of future acts is incompatible only with a different kind of necessity, and that such arguments fail when formulated in terms of this conception of necessity, since their premises and conclusions are contingent in the correlative sense of contingency.