Ensure that the totality system is working in complete, which includes the following items: - [ ] `%total` - [ ] `%terminates` - [ ] `%worlds` - [ ] `%covers` - [ ] `%unique` - [ ] `%block` - [ ] Multiple orders - [ ] Mutual orderings - [ ] Simultaneous ordering - [ ] Lexographic orderings - [ ] Reduction assertions, including the different orderings - [ ] Freeze, thaw, and subordination
Ensure that the totality system is working in complete, which includes the following items:
%total%terminates%worlds%covers%unique%block