Exponential separation condition