Belief function implementation
