Update WorthSyntaxNotationDefinedInItself.txt to working version