1: Fast and Compact Regular Expression Matching 2: Evolutionary Trees and the Ising Model on the Bethe Lattice: a Proof of Steel’s Conjecture