How about 'miniKanren or tests'
# random
f
How about 'miniKanren or tests'