Putting logic in its place : formal constraints on rational belief / David Christensen