OrdList is safe