Proofs

Changes to Queued proof

post/proofs/queued