u→a.