State/Real squares are nonnegative 1