That expression, or that value, or that value, literally gets passed back out of that local environment to the value that comes back out of it. So in particular, none none what's solved returns is a pair.

这个表达或者说值，实际上是从那个局部环境中,输出来付给它的,所以solved返回的是一对值，它可以是一对。

麻省理工公开课 - 计算机科学及编程导论课程节选