Reasoning about Uncertainty, second edition