is this an existential problem of existance versus knowing what that existance is? I am guessing that you are saying that you can tentatively define a bottom before a top is known and then redraw a bottom afterward. what is the correct algorithm?