Partial proof.