Adding core definitions