Finished rest of proof for Call