predefinitions