Local core definitions