— 1 + t 13