does such a linter actually exist, or is this the mathematicians trivial, "it is not required to discover something new to do it"?