overnormalized
not defined yet