... $1,000,000. It is also widely suspected that the <= on the last line should be a <. The hardest problems in PSPACE are the PSPACE-Complete problems. See ...