Do we need to mention `lambda I` somewhere? It is actually `AtA + \lambda I`.