Reductivity arguments and program construction by H. Doornbos