s \ t : is i ; t: