Tag: bipartite balanced regular proof