Take advantage of auto-synthesis of properties