domain closednonformula