model redefinition