Two stacks used in [AG].