The point is if "coding is solved" was true, there would not be any unresolved bugs.