Restrictiveness in case theory by Henry Smith | Lex | Lex