non-closure of definition

Archive