A bevprog programozás volt, csak nem konkrét nyelven, és matematikailag bizonyítottan helyes algoritmusok szerepeltek benne. Meg persze az ehhez kellő elméleti háttér (feladat, program, levezetés fogalma, és így tovább).