So I'm trying out some of the examples in Reasoned Schemer, using the miniKanren on the Scheme planet, but it doesn't seem to work right. The miniKanren, contrary to the book, doesn't understand succeed or fail (#s or #f), so I fail to see how to get this to work. What am I missing? --Mark