a|a => A
A|a => A
a|A => A
A| => A
|A => A
A|A => A
s| => H