[jfaucett]

Yes, maybe I should have mentioned proofs/theory of computation seperately I kind of just included them under the general algorithms umbrealla term :)