(a 1 a2-1 a a-1)