Edit: More work on intro. to Krylov methods