solved the problem of the undefined domain of discourse