Added exhaustion test