predefinition