Having lowered the bar for the sense in which we hope to solve a system of linear equations ... Hassidim and Lloyd prove that the problem they solve is as hard as anything a quantum computer ...