- s : t S is