Ainda de acordo com o citado acórdão do Tribunal Constitucional, "a falta deoposição e a consequente oposição de fórmula executória ao requerimento de injunção não tem o condão de transformar a natureza não do título, tornando desnecessária, em sede de oposição à execução, a prova do direito invocado, deixando ao executado apenas a alegação e prova de factos impeditivos, modificativos ou extintivos do direito do exequente”.