[kb] One oof formal tasks updated
Merge pull request #25 from ShunkevichDV/master

[kb] One of formal tasks updated