a0 = 1