Total belief theorem and conditional belief functions. Issue 12 (23rd July 2018)