 Lavenham took option (a) to imply that there is no human freedom. In his understanding (b) would mean that God does not know future contingents. He rejected both (a) and (b) as contrary to the Christian faith.