Combinatorial structure theory: graphs and posets, well quasi ordering, exclusions, structure theorems, combinatorial proof systems, graphic degree sequences. Proof theory: combinatorial structure theory of equational and other highly restricted proof systems, combinatorial structure theory of proof systems considered as generalized digraphs. (Not classical proof theory.) Series expansions: Uniform distribution and normality related to Cantor series.