= s_c = [[ListTagged(s_c)]]