Please provide preconditions and post-conditions for each function. (1 pt) double squareRoot(double val), where val <= 1,000,000. (1 pt) double square(double val), where -1000 <= val. (1 pt) double log(double val), where val >= 1. (1 pt) double log(double val), where val < 1. (1 pt) boolean vacation(int month1, int month2), where month1 and month2 are one of the months and the function returns true if month1 is not greater than month2.