kanren-t2