anchor: Once you've found a consistent division, you can be sure that no other is possible.
positive: You can be sure that no other is possible once a consistent division is discovered.
negative: There are many other possible divisions even after finding a consistent division.