Tag: two kinds of locals