The top documents tagged [stack emptyif stacktop]