[kb] One of formal tasks updated