Properties on Rainbird Circuit