Well-founded (1)