Hi Jonathan, right, that does the trick. I've tried to build a question whose answer were something in the line of the reals strictly above zero, thus being nontrivially bottomless, but it seems I can't figure how to properly puzzletize it, without you ruining the attempt! :)