updated property.h