Michael_A._E._Dummett loading ...