変数に束縛された値を求めることは評価するっていうんだと思う。
再束縛は別の値を束縛すること。