normal extensions