Implemented disjoint flip rules.