All(a1-