Properties in SK1