Linearity, Non-determinism and Solvability