Retroductive reasoning

Summary