P-NP BARRIER ORACLE
NEXT BARRIER
ORACLE
DIAGONALIZE