rewrote the Stack Theorem paragraph