Translation of རྫོགས་ཆེན Dzogchen.