The average salary for a random sample of 25 experienced (12 or more years) full professors in psychology graduate department in 2012 was $125,195, with a standard deviation of $43,036.The population, all full professors with all years of experience in psychology graduate department across the country, earned an average salary of $111,960, with a standard deviation of $40295.Did the experienced full psychology professors make more money, on average, than what all full psychology professors as a whole make? Write the statistical hypotheses using proper symbols and describe the comparison distribution; report the two essential parameters for this distribution.