Should be `n`. Should we require that `n != m`?