z formalizam_ENG600