Esta estipulaba lo que sigue: