Title: Direct introduction of Dzogchen in some popular Tibetan literature