Difference between unknowable and solvable