added definitions for properties