Among his contributions to philosophy is his claim to have solved the philosophical problem of induction. What parts of a theory are unnecessary before the simple theory is falsified?