Having properties in $SPS is important