De resto, diga-se se a mesma existisse e se tornasse necessário superá-la o facto provado a eliminar seria o 2, por a primeira realidade substancial ser pressuposto da segunda realidade formal, pelo que se aquela não existe logicamente esta também não poderá existir ou subsistir.