anjdifl is-a lim J . if fini.