People can help solve these problems, ... This is the power of our user base, rather than just using brute force and algorithmic search, although this is still important.