I looked before I sent the mail and couldn't find how a topdec could be empty. What is the derivation that allows that?