?S \ tt sat \ x.