De este modo, hemos de reciclar el enunciado de partida en proposiciones funcionales, restringidas y que tengamos expectativas de su consecución.