depth-bound works!