grabbed oleg kanren code