Help, please... Slide 36 says that PSPACE is contained in EXP. great! but what's EXP!? And given that the preceding two slides were all about simulating a non-deterministic machine, where does this fit in, given that PSPACE is defined on deterministec machines? Thanks, Martin.