s ; t as