Properties in HP11