Add proof sentence.