Before revision:  When there is no alternate of quantifier , one has a one block quantifier elimination problem.
After revision:  When there is no alternation of quantifiers , one has a one block quantifier elimination problem.