analysis is it's own major section
state results more clearly using theorems
intro and structure of analysis
witness trees
ananlysis of the symmetric case