Normal elimination