A proper definition of `normalize`, I think.  Proof still todo.