"Du Lac was both a theologian and a mathematician."