poboltat worst comments

-3 Reasoning about normality
-2 Reasoning about normality
-2 Reasoning about normality
-1 Reasoning about normality
-1 Reasoning about normality
v20240901