Properties on Sovereign Circuit