It's just circular logic to fallaciously justify itself. "criminal organization" == "Any group of >1 person who breaks this law".
The term isn't in the text of the law itself.
> Is every program with variables a "fuzzy logic" program?
No. The point is not that a variable can take many distinct values, it's that it may have multiple values with differing degrees of membership.
"John's height is 178cm" is a crisp statement. It comes from a crisply measurable domain, being length. I can verify if it's true or false, to a given level of precision.
"John is medium tall height" is not a crisp statement. It represents that John is partly "medium" and partly "tall", at the same time.
> I honestly think migration out of cities will not make areas more blue, but will generally increase the conservative population in the US.
It's most likely that both will happen, thanks to Simpsons paradox: The area with immigration shifts toward the newcomers (since they aren't going to be MORE provincial than the natives, even if they partly convert), while also shifting the political power from the urban emigration are to the immigration area.