elaborating on my introduceTopLevel problem