asd
asdadfasdf
added some intro stuff, variants, and pspace proof