Better specifying the language