epsilon is whitespace