should add explanation of difference between coinductive, inductive and deductive reasoning and why each is necessary

[TimeDelta]

coinduction is breaking concepts down into smaller concepts
induction is probabilistic and develops a hypothesis
deduction removes the chance of misidentifying the outcome and lets you test the hypothesis