">> rings R is determined by finite data relative to R, so there is a set" . . . .