Hot: short-circuit