unbottomed
not defined yet