Learn more about cloning repositories
You have read-only access
Possible fix for label of isTotallyOrdered(below:).
