There's a big difference between a declaration and a proof.