当然，他们的假设是正确的。