"Convienen en lo siguiente:"