jon/Preprints/Papers/Submitted Papers/ICMI19 Digitally-assisted discovery and proof PrePrints Reorienting the Logic of Abduction preprints/1708v1 Supplementary Material Table 1 preprints/untitled Anthropic Bias Observation Selection Effects in Science and Philosophy Nick Bostrom directory preprints |