StackSet is total
basic StackSet annotations