Properties on Priest Circuit