Working on proof.