add definitions