De gratia efficaci, decretis divinis, libertate arbitrii et praescientia Dei condicionata