Open Source Versus Crowd Source

(Eventual destination of material from ProofObligation)