[kb] Formal statements added
[kb] Formal task solutions added