"P" es diferente de "NP" o bien "NP" es diferente de "PSPACE", pero no se sabe cual de las dos inclusiones es propia.