State/Squares are nonnegative in an ordered field 1