 Anselm thought that future contingent statements based on divine revelation were true without deterministic implications. A similar view was held by most medieval theologians when they addressed divine omniscience and prophesy. For Anselm’s view, see Knuuttila 2004.