User:MaximalIdeal/polynomial hierarchy edit