Oh, absolutely. Just saying there’s something for mathematicians to do before publishing results.