fixed bug in 2 task. Add 14 axioms