[kb] One oof formal tasks updated