redefections