What we need to prove: