Induction is a way of justifying knowledge by looking at past occurrences. By induction, “we are able to justify some expectations or predictions about observations we have not yet made, as well as general claims that go beyond the observed” (@sep-induction-problem). By induction, we can predict that future cases satisfies a proposition when some past cases all satisfy .