No results found for formalizations'

Did you mean normalization?