Termination and use of Arnoldi (FP, 2017-12-01)