Hans förnämsta uppfinning är en procedure,