He also expanded on the concept of reducibility and, along with Ken Durre, developed a computer test for it.
Επίσης, επέκτεινε την ιδέα της ελάττωσης και, μαζί με τον Ken Durre, ανέπτυξε ένα τεστ στον υπολογιστή για το σκοπό αυτό.