
\draw [name path=s] ($(S1)!\t!(S3)$) -- ($(S3)!\t!(S1)$);

\draw ($(S3)!\t-0.1!(S1)$) node [] {$s$};