Once you've found a consistent division, you can be sure that no other is possible.
You can be sure that no other is possible once a consistent division is discovered.
mnli hypothesis: You can be sure that no other is possible once a consistent division is discovered. premise: Once you've found a consistent division, you can be sure that no other is possible.