Is DEV defined?