Как «предоставляется» реализовано в фактах в Midje?

Я читал главу 8 Clojure in Action о TDD и экспериментировал с макросом заглушки. Он использует механизм динамической привязки для заглушки функций. Увы, в Clojure 1.3 невозможно использовать механизм привязки для нединамических переменных, поэтому в большинстве случаев заглушка макроса не работает, если вы явно не объявите переменную, которая указывает на динамическую функцию. Затем я поинтересовался, как в Midje делается заглушка, и попытался найти источник для 'provided', но не смог его найти. Итак, начнем:

Как «предоставляется» реализовано в фактах в Midje? Может кто-нибудь объяснить это подробно?