Properties in WF17