transition computes and solves for implied Aa, but leaves Na=1