Large symmetric positive definite (SPD) systems of linear equations are often solved by the conjugate gradient (CG) method with an SPD preconditioner. Despite hundreds of papers on the subject, there ...