New miniKanren post.