1. REDIRECT discopal:PSPACE