Sopin. PH = PSPACE. 5 July 2022.