main -> other 'a'
other -> main | 'a'