Added believed and unbelieved functions.