S -> e