I rewrote the Stack Theorem paragraph