Hot: redefine