Having lowered the bar for the sense in which we hope to solve a system of linear ... the most interesting aspect of their work, Harrow, Hassidim and Lloyd prove that the problem they solve ...