The free modular lattice on $n$ generators is finite for $n=1,2,3$, but for $n=4$ not only is it infinite but its word problem is recursively unsolvable.