Panda 1/2 Proofs