That is what the squaring is for, I figure. To make all the terms non-negative. (now, if some of the unreal-ness components were complex, there would be a prob

That is what the squaring is for, I figure. To make all the terms non-negative. (now, if some of the unreal-ness components were complex, there would be a problem there, but eh)