``a a`` -> ``a``