Title: The problem of undefinedness in specifications