В елементарній програмній логіці виводяться програми з оракулами (схеми програм), що дозволяють підставлянням у них відповідних функцій діставати конкретні програми обчислення різних сум. Коректність програм є безпосереднім наслідком їх конструювання.