added logic.krok and logic.uml. they need to be fleshed out