actually we have a pretty good understanding of why we're stuck so there are many known nogo theorems in complexity theory with various technical names cultivation natural proofs algebra zation so on what they say in a nutshell is that the common proof techniques that we use are just not going to be enough to prove things much much weaker than p9 wimpy things much weaker than this just like very simple things we can't we can't prove allowance for and this has cost a great deal of weeping and wailing and gnashing of teeth a great pessimism