these are terms defined from underfined terms​