Start to work with constraints (add definitions), WIP on translations