Possible extension
Try the problem Exhaustion