If true, then some functions will not check whether or not an ambient ring is normal, they will assume it and proceed.
The object KnownNormal is a symbol.