Having lowered the bar for the sense in which we hope to solve a system of linear equations ... computation can be encoded into an instance of solving linear equations, even with the restrictions ...