Properties on Stables Circuit