a a ^ fa fa = u.