A . ~ ai -* F 2 =