Puse el punto 10 pero comentado porque la linea es demasiado larga.

template/templateTP.tex

@@ -116,7 +116,14 @@
 \begin{problema}{boicotPorDisciplina}{j: JJOO, cat: (Deporte, Sexo), p: Pais}{\ent}
 \end{problema}
 
+
+
 \begin{problema}{losMasFracasados}{j: JJOO, p: Pais}{[Atleta]}
+	%\\asegura{(\forall x \rightarrow [ciaNumber(ranking(comp)[0]) \neq ciaNumber(atl) \wedge ciaNumber(ranking(comp)[1]) \neq ciaNumber(atl) \wedge ciaNumber(ranking(comp)[2]) \neq ciaNumber(atl) | atl \rightarrow result, comp \rightarrow todasLasCompetencias(j), finalizada(comp)]) x}
+	%\\asegura{(\forAll x \rightarrow [ciaNumber(ranking(comp)[0]) \neq ciaNumber(atl) \wedge ciaNumber(ranking(comp)[1]) \neq ciaNumber(atl) \wedge ciaNumber(ranking(comp)[2]) \neq ciaNumber(atl) | atl \rightarrow result, comp \rightarrow todasLasCompetencias(j), finalizada(comp)]) x}
+	%\\asegura{(\forAll x \rightarrow result) nacionalidad(x) == p}
+	%\\asegura{(\forAll i \rightarrow [0..|result|-2]) competenciasEnLasQueParticipo(j, result[i]) \geq competenciasEnLasQueParticipo(j, result[i+1])}
+	%\\aux{competenciasEnLasQueParticipo}{j: JJOO, a: Atleta}{\ent}{\longitud{[z | z \leftarrow todasLasCompetencias(j), en(a, participantes(z))]}}
 \end{problema}
 
 \begin{problema}{liuSong}{j: JJOO, a: Atleta, p: Pa\'is}{}
@@ -140,3 +147,4 @@
 \input{auxiliaresTipos.tex}
 
 \end{document}
+