The 'run' rule depends on the 'nihilum' rule.