Estos estipulan lo siguiente: