stacks on stacks in Models