Goal "normal(norm b)";