main -> other 'b'
other -> main | 'b'