we want the pathological program and the halting decider to work
together rather than against each other qnd there is great pain that
this is not the norm

Reply via email to