Как использовать контекст именования для поиска индексов де Брейна свободных переменных?

В разделе 6.1.2 «Типы и языки программирования» они говорят о контексте именования , используемом для нумерации переменные в лямбда-выражениях. Используя пример схемы, который они предоставили, оба λx.xb и λx.xx будут иметь свое представление де Брейна как λ.00 , когда они явно разные термины. Как это работает?