S \ ~ t1