填空题

换名规则施于()变元,代入规则施于()变元。

【参考答案】

约束;自由