a nice quote from the paper: "Nevertheless, it is my personal opinion that the
optimistic approach is the right one; that is, the
Razborov–Rudich result should be regarded as a
hint, and not a barrier, to separating complexity
classes. The only real barrier is our lack of
imagination."