a+ -> A