Paragraph formal vs. informal proof done.