working on well definedness