La página de Wikipedia en PSPACE menciona que la inclusión no es estricta (desafortunadamente sin referencias).
P1: ¿Qué pasa con y ? ¿Se sabe que son estrictos?
P2: Si no, ¿hay una clase establecida que contiene y para la cual no se sabe si la inclusión es estricta?
P3: ¿Se incluyen tales inclusiones en la literatura?