Use `n.n -> 0` as a local rule