Florus Lugdunensis Florus Lugdunensis, Liber adversus Ioannem Scotum, p11, 1 Decimo capitulo quatuor definitiones ponit hoc modo: 2. Omne malum peccatum, et poenam eius esse: et 1. Deum praescire aut praedestinare peccata, vel mortem vel poenas hominum vel angelorum a contrario intelligendum sit.