No kanren-cruft?