Come identificare queste parti di espressioni uguali è proprio l'aiuto che ho chiesto.
La freccia è sempre lo stesso operatore di implicazione sia all'interno che fuori dalle parentesi.