However, the article points out that we can only use the algorithm when we know it outperforms Yacc; read "know" as "proven theoretically".