the songs and dances performed at festivals are a vehicle for spreading tibetan buddhism, of which the lengthy vajra dance is one type.