Formal Logical Domination view 3