Introduced by Jean-Yves Girard, proof nets have been created to avoid the "bureaucracy", that is all the things that make two derivations different in the logical point of view, but not in a "moral" point of view.