domains and definitions