Proof nets, garbage, and computations