Thesis: finish section on pseudocode shortcomings