23 Na verdade, ao julgador só é lícito a partir de um facto conhecido firmar um facto desconhecido, mas não já extrair conclusões a partir facto inexistente. E mais: também não lhe é lícito, sem mais, concluir a partir dum facto não provado, dar como provado um facto em sentido contrário. É que um facto não provado apenas conduz a que se tenha por não provado uma realidade que se pretendia demonstrar e nada mais.