Finite Leigh (finia2NA)