Text this: Subquadratic simulations of balanced formulae by branching programs.