Text this: Equational compactness in rings :