Merge pull request #8 from yegor256/master

Update
Update informal.md
Merge pull request #41 from stevenNow/master

Proof informal