Text this: Complexity of semi−algebraic proofs