redifinition