什么是forcing variables？是不是通常所说的受限模型和非受限模型中的限制变量？