t:s 13 } , dito |t:s