isWelldefined