Post-Conditions Practice

Question 1 of 1

double square(double n){

return n*n;

}

What MUST be true immediately after the above code snippet has run?