You are totally right, thanks for catching my mistake. My blog post linked above goes more into the consequences -- ideally you'd formally define what the allo

You are totally right, thanks for catching my mistake. My blog post linked above goes more into the consequences -- ideally you'd formally define what the allowable language subset is.