changed pspace proof