The ability to invalidate or critique a solution does not require knowing any part of the solution.