We motivate the need for a deep relational interpreter for a miniKanren language, and then present metaKanren, a microKanren-like language for which we have implemented a deep relational interpreter in miniKanren. We demonstrate this relational interpreter running “backwards” to synthesize metaKanren code and then provide a commented tour of our relational interpreter for metaKanren. Finally, we show how metaKanren can serve as a useful starting point towards a metacircular interpreter for a miniKanren language, and miniKanren program synthesis.