overnormality
not defined yet