s - 3 t?