I can sort of buy that proper grammar-checking requires "human-level intelligence", but how is it possible to detect illogic, for instance, without the same? Typely would have to understand an argument's structure and actual meaning to prove logical soundness. Doesn't that require human-level intelligence, or at least as much as with a grammar-checking task?