There needs to be some lexicon for this kind of thing. Theres a parallel with NP problems, some things are hard to figure out but easy to verify. Others hard t

There needs to be some lexicon for this kind of thing. Theres a parallel with NP problems, some things are hard to figure out but easy to verify. Others hard to do both.