A normal form is nontrivial