tweaked miniKanren description