Well-foundedness loading ...