Reductivity arguments and program construction door H. Doornbos