Symmetry breaking, minor updates + a proof
Memory-less/non-adaptive stgs, more lemmas, ...
Towards fixing The equivalence theorem...