Take the salvation of Agent A. God knows that if he were to place A in circumstances C, then A would freely choose to believe in Christ. So God actualizes the world where C occurs, and then A freely believes. God still retains a measure of his divine providence because he actualizes the world in which A freely chooses. But, A still retains freedom in the sense of being able to choose either option. Molinism does not affirm two contradictory propositions when it affirms both God's providence and humanity's freedom. God's providence extends to the actualization of the world in which an agent may believe upon Christ.