Reasoning about normality

 

v20240901