A general framework for compositional reasoning with uncertainty door B. Goedhart