Properties in HP9