Alonzo Church. tr 2010, 4 (1).