Well-definition

Summary