Finished mapid proof.