Resultado de la búsqueda: que son formulas de la normalidad