Criterion for ai = aj