Complete theories - Robinson, Abraham (Array, 1956)