First draft of VAD proof.