A s t is nini att 1 ; y r a: