Och det heter itraktatens