type-1-definition