Properties in WS1