<a-a>b
