Properties on Mermaid Circuit