Complete theories - Robinson, Abraham (rz1, 1977)