Smart acknowledges that punishing the innocent is a counterintuitive implication but treats this as ...