Solomon Feferman, John Mayberry. tr 2016, 10 (9).