Add in extra Binairo rule (i.e. row/col uniqueness)