Well-ordered (1)