Made the property assertion for Regions most general.