Stricter property completeness.
Merge pull request #45 from bjlittle/completeness

Stricter property completeness.