: s * t#