Finished the impr case of proof.