Nella pennica odierna, mi è capitato di sognare che non meglio identificati esperti avevano inventato un metodo per spiegare le cose che prevedeva di fare un ordine logico, tornare all'indietro e definire ogni passaggio logico P evitando di usare il passaggio P-1
