Tag: spatial usage in choreography