= nbsc = [[ListTagged(nbsc)]]