Dennoch schlug er nicht die Laufbahn eines Religionswissenschaftlers ein, sondern sah seine Berufung im seelsorglichen Dienst als Priester in der Pfarrgemeinde.
Er schlug eine Methode vor, mit der man die Korrektheit von Flussdiagrammen beweisen konnte, indem man jedes Element des Flussdiagramms mit einer Zusicherung versieht.