minor change ensures spurious pairs don't arise via rules