A.1 引入变量