PicksSoren Proofs