definitions for property generators