Polynomial space hardness without disjunction property