(one declaration of mergeability will result in a lot more Rules, implicitly.)