Change *is* and *has* to *infers* and *checks*.