= hoffmanc = [[ListTagged(hoffmanc)]]