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