(Eventual destination of material from ProofObligation)