David&Pei Proof