https://www.dogmatv.it/suppositio-implicazione-esclusione/