 Mersenne, a rather orthodox scholastic on this point, never recognized an alternative: both theses should hold together—eternal truths are true because God knows them, and God knows them because they are true.