exhaustion principle