~ more definitions
...
...