Text this: Apostolicae Sedis definitiones veteres de gratia Dei.