Check treatment

Heyting v. Bottaglia