Check treatment

Goodstein v. Weinberg