Dummy Proof.