SetOfStacks and DoubleStack