Patrul Rinpoche's house in Dzogchen.