The Quantified Uncertainty Research Institute
Logicomix: An epic search for truth