4 6 



B. E. Moore 



134 



