Category:Well-Ordered Class is not Isomorphic to Initial Segment