Hot: redefinition