a(ind, a2).