several project, several ways of migdb formal description, non of them is final, every one of them has its flaws