Theory cleanup
Expanded on intro for user docs